منابع مشابه
Interface Input/Output Automata
Building on the theory of interface automata by de Alfaro and Henzinger we design an interface language for Lynch’s I/O automata, a popular formalism used in the development of distributed asynchronous systems, not addressed by previous interface research. We introduce an explicit separation of assumptions from guarantees not yet seen in other behavioral interface theories. Moreover we derive t...
متن کاملAalborg Universitet Interface Input / Output
Building on the theory of interface automata by de Alfaro and Henzinger we design an interface language for Lynch’s I/O automata, a popular formalism used in the development of distributed asynchronous systems, not addressed by previous interface research. We introduce an explicit separation of assumptions from guarantees not yet seen in other behavioral interface theories. Moreover we derive t...
متن کاملPredictive Input Interface of Mathematical Formulas
Currently, inputting mathematical formulas into a document using a PC requires more effort by users than inputting normal text. This fact inhibits the spreading of mathematical formulas as internet contents. We propose a method for predicting user’s inputs of mathematical formulas using an N-gram model: a popular probabilistic language model in natural language processing. Mathematical formulas...
متن کاملUser Interface Input by Device Movement
This paper develops a user interface to input by moving a terminal device. First, a concept of the portable viewer with magnifying glass-like operation already proposed and remaining problems are described. Next, a new method to detect the device movement using optical flow is proposed. Then, a prototype with an embedded 32-bit MPU is built to verify the proposed method. As a result, basic func...
متن کاملEye-glance input interface for a small screen
Optical measurement devices for eye movements are generally expensive and it is often necessary to restrict user head movements when various eye-gaze input interfaces are used. Previously, we proposed a novel eye-gesture input interface that utilized electrooculography amplified via an AC coupling that does not require a head mounted display. Instead, combinations of eyegaze displacement direct...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Behavior Research Methods, Instruments, & Computers
سال: 1984
ISSN: 0743-3808,1532-5970
DOI: 10.3758/bf03202404